Buy Used and New Byron Cook Books

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings ... / Programming and Software Engineering)

by

ISBN 13: 9783642045691

Format: Paperback (213 pages)
Publisher: Springer
Published: 26 Oct 2009

Save for later

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783540697350

Format: Paperback (395 pages)
Publisher: Springer
Published: 03 Jan 2007

Save for later